A Note on Infinite Antichain Density

Let $\mathcal{F}$ be an antichain of finite subsets $\mathbb{N}$. How quickly can the quantities $|\mathcal{F}\cap 2^{[n]}|$ grow as $n\to\infty$? We show that for any sequence $(f_n)_{n\ge n_0}$ positive integers satisfying $\sum_{n=n_0}^\infty f_n/2^n \le 1/4$, $f_{n_0}=1$ and $f_n\le f_{n+1}\le 2f_n$, there exists infinite $\mathbb{N}$ such 2^{[n]}| \geq f_n$ all $n\ge n_0$. It follows $\varepsilon>0$ $\mathcal{F}\subseteq 2^\mathbb{N}$ $$\liminf_{n \to \infty} |\mathcal{F}\cap \cdot \left(\frac{2^n}{n\log^{1+\varepsilon} n}\right)^{-1} > 0.$$ This resolves a problem Sudakov, Tomon Wagner in strong form, is essentially tight.